Typed parametric polymorphism for aspects

We study the incorporation of generic types in aspect languages. Since advice acts likemethod update, such a study has to accommodate the subtleties of the interaction of classes,polymorphism and aspects. Indeed, simple examples demonstrate that current aspect com-piling techniques do not avoid runtime type errors.We explore type systems with polymorphism for two models of parametric polymor-phism: the type erasure semantics of Generic Java, and the type carrying semantics ofdesigns such as generic C#. Our main contribution is the design and exploration of asource-level type system for a parametric OO language with aspects. We prove progressand preservation properties.We believe our work is the first source-level typing scheme for an aspect-based extensionof a parametric object-oriented language.